MGI:1857854 Null/knockout http://identifiers.org/mgd/MGI:1857854 Hoxd<tm3Ddu> L2 targeted mutation 3, Denis Duboule HoxD<RXI> Hoxd12<tm1Ddu>